Interactive systems - design, specifications, and verification : 9th international workshop, DSV-IS, 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Författare
Peter Forbrig Germany) DSV-IS 2002 2002 : Rostock
(Peter Forbrig ... et al..)
Genre
Ej skönlitteratur, Konferenser, Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 2002 Tyskland, Berlin 267 sidor. ill.